Redirecting /DEVUAN/ back out to deb.devuan.org is a mistake that needs to be reported. 🔼
My own mirror used to do this, until I fixed it. So I can at least break that again for testing.
reported=2019-06-25 03:35:02
reporter=onefang
priority=low
category=TODO
severity=trivial
resolution=fixed
2019-06-25 04:10:39 onefang: Evilham agrees.